<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>

<title>SpecificationTranslator (randoop 4.1.0 API)</title>

<link rel="stylesheet" type="text/css" href="../../javadocstyle.css" title="Style">
<script type="text/javascript" src="../../script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="SpecificationTranslator (randoop 4.1.0 API)";
        }
    }
    catch(err) {
    }
//-->
var methods = {"i0":10,"i1":10,"i2":9,"i3":9,"i4":9,"i5":10,"i6":9,"i7":9,"i8":10,"i9":9,"i10":10,"i11":10,"i12":10,"i13":10,"i14":10,"i15":10,"i16":9};
var tabs = {65535:["t0","All Methods"],1:["t1","Static Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/condition/ThrowsClause.html" title="class in randoop.condition"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/condition/SpecificationTranslator.html" target="_top">Frames</a></li>
<li><a href="SpecificationTranslator.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">randoop.condition</div>
<h2 title="Class SpecificationTranslator" class="title">Class SpecificationTranslator</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">java.lang.Object</a></li>
<li>
<ul class="inheritance">
<li>randoop.condition.SpecificationTranslator</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="typeNameLabel">SpecificationTranslator</span>
extends <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></pre>
<div class="block">Method <a href="../../randoop/condition/SpecificationTranslator.html#createExecutableSpecification-java.lang.reflect.AccessibleObject-randoop.condition.specification.OperationSpecification-randoop.compile.SequenceCompiler-"><code>createExecutableSpecification(java.lang.reflect.AccessibleObject, randoop.condition.specification.OperationSpecification, randoop.compile.SequenceCompiler)</code></a> translates an <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> object
 (which has preconditions, postconditions, and throws conditions) to its executable version,
 <a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><code>ExecutableSpecification</code></a>.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#compiler">compiler</a></span></code>
<div class="block">The <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile"><code>SequenceCompiler</code></a> for compiling expression methods.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private static <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#DUMMY_VARIABLE_BASE_NAME">DUMMY_VARIABLE_BASE_NAME</a></span></code>
<div class="block">The base name of dummy variables used by <a href="../../randoop/contract/ObjectContract.html" title="class in randoop.contract"><code>ObjectContract</code></a>.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#poststateExpressionDeclarations">poststateExpressionDeclarations</a></span></code>
<div class="block">The parameter declaration string, with parentheses, for a poststate (property) expression
 method.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#poststateExpressionSignature">poststateExpressionSignature</a></span></code>
<div class="block">The <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection"><code>RawSignature</code></a> for a poststate (property) expression method.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#prestateExpressionDeclaration">prestateExpressionDeclaration</a></span></code>
<div class="block">The parameter part of a method declaration string, with parentheses, for a prestate (guard)
 expression method.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#prestateExpressionSignature">prestateExpressionSignature</a></span></code>
<div class="block">The <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection"><code>RawSignature</code></a> for a prestate (guard) expression method.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#replacementMap">replacementMap</a></span></code>
<div class="block">The map of expression identifiers to dummy variables.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier</th>
<th class="colLast" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private </code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#SpecificationTranslator-randoop.reflection.RawSignature-java.lang.String-randoop.reflection.RawSignature-java.lang.String-java.util.Map-randoop.compile.SequenceCompiler-">SpecificationTranslator</a></span>(<a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a>&nbsp;prestateExpressionSignature,
                       <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;prestateExpressionDeclaration,
                       <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a>&nbsp;poststateExpressionSignature,
                       <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;poststateExpressionDeclaration,
                       <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;&nbsp;replacementMap,
                       <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a>&nbsp;compiler)</code>
<div class="block">Creates a <a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><code>SpecificationTranslator</code></a> object in the given package with the signature
 strings and variable replacementMap.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method.summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t1" class="tableTab"><span><a href="javascript:show(1);">Static Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition">ExecutableBooleanExpression</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#create-randoop.condition.specification.Guard-">create</a></span>(<a href="../../randoop/condition/specification/Guard.html" title="class in randoop.condition.specification">Guard</a>&nbsp;expression)</code>
<div class="block">Creates a <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a> object for the given <a href="../../randoop/condition/specification/AbstractBooleanExpression.html" title="class in randoop.condition.specification"><code>AbstractBooleanExpression</code></a> using the prestate expression
 signature of this <a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><code>SpecificationTranslator</code></a>.</div>
</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition">ExecutableBooleanExpression</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#create-randoop.condition.specification.Property-">create</a></span>(<a href="../../randoop/condition/specification/Property.html" title="class in randoop.condition.specification">Property</a>&nbsp;expression)</code>
<div class="block">Creates a <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a> object for the given <a href="../../randoop/condition/specification/AbstractBooleanExpression.html" title="class in randoop.condition.specification"><code>AbstractBooleanExpression</code></a> using the poststate expression
 signature of this <a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><code>SpecificationTranslator</code></a>.</div>
</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>static <a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition">ExecutableSpecification</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#createExecutableSpecification-java.lang.reflect.AccessibleObject-randoop.condition.specification.OperationSpecification-randoop.compile.SequenceCompiler-">createExecutableSpecification</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;executable,
                             <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&nbsp;specification,
                             <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a>&nbsp;compiler)</code>
<div class="block">Create the <a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><code>ExecutableSpecification</code></a> object for the given <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>
 using this <a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><code>SpecificationTranslator</code></a>.</div>
</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>private static <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#createReplacementMap-java.util.List-">createReplacementMap</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;&nbsp;parameterNames)</code>
<div class="block">Creates the replacement map from the given parameter names to numbered dummy variable names as
 used in <a href="../../randoop/contract/ObjectContract.html" title="class in randoop.contract"><code>ObjectContract</code></a>.</div>
</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code>(package private) static <a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition">SpecificationTranslator</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#createTranslator-java.lang.reflect.AccessibleObject-randoop.condition.specification.OperationSpecification-randoop.compile.SequenceCompiler-">createTranslator</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;executable,
                <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&nbsp;specification,
                <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a>&nbsp;compiler)</code>
<div class="block">Creates a <a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><code>SpecificationTranslator</code></a> object to translate the <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> of <code>executable</code>.</div>
</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code>(package private) <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#getCompiler--">getCompiler</a></span>()</code>
<div class="block">Returns the compiler from this object.</div>
</td>
</tr>
<tr id="i6" class="altColor">
<td class="colFirst"><code>private static <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#getDeclaringClass-java.lang.reflect.AccessibleObject-">getDeclaringClass</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;executable)</code>&nbsp;</td>
</tr>
<tr id="i7" class="rowColor">
<td class="colFirst"><code>private static <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#getExpressionSignature-java.lang.reflect.AccessibleObject-boolean-">getExpressionSignature</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;executable,
                      boolean&nbsp;postState)</code>
<div class="block">Create the <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection"><code>RawSignature</code></a> for the expression method for evaluating an expression for the
 given method or constructor.</div>
</td>
</tr>
<tr id="i8" class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition">ExecutableBooleanExpression</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#getGuardExpressions-java.util.List-">getGuardExpressions</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification">Precondition</a>&gt;&nbsp;preconditions)</code>
<div class="block">Construct the list of <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a> objects, one for each <a href="../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a>.</div>
</td>
</tr>
<tr id="i9" class="rowColor">
<td class="colFirst"><code>private static <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;[]</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#getParameterTypes-java.lang.reflect.AccessibleObject-">getParameterTypes</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;executable)</code>&nbsp;</td>
</tr>
<tr id="i10" class="altColor">
<td class="colFirst"><code>(package private) <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#getPoststateExpressionDeclarations--">getPoststateExpressionDeclarations</a></span>()</code>
<div class="block">Return the poststate expression method parameter declaration string.</div>
</td>
</tr>
<tr id="i11" class="rowColor">
<td class="colFirst"><code>(package private) <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#getPoststateExpressionSignature--">getPoststateExpressionSignature</a></span>()</code>
<div class="block">Returns the poststate expression method signature from this object.</div>
</td>
</tr>
<tr id="i12" class="altColor">
<td class="colFirst"><code>(package private) <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#getPrestateExpressionDeclaration--">getPrestateExpressionDeclaration</a></span>()</code>
<div class="block">Return the prestate expression method parameter declaration string.</div>
</td>
</tr>
<tr id="i13" class="rowColor">
<td class="colFirst"><code>(package private) <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#getReplacementMap--">getReplacementMap</a></span>()</code>
<div class="block">Returns the replacement map for the identifiers in the expression to the dummy variables
 expected in contract assertions</div>
</td>
</tr>
<tr id="i14" class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/ArrayList.html?is-external=true" title="class or interface in java.util">ArrayList</a>&lt;<a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition">GuardPropertyPair</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#getReturnConditions-java.util.List-">getReturnConditions</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification">Postcondition</a>&gt;&nbsp;postconditions)</code>
<div class="block">Construct the list of <a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition"><code>GuardPropertyPair</code></a> objects, one for each <a href="../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a> in
 <code>postconditions</code>.</div>
</td>
</tr>
<tr id="i15" class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/ArrayList.html?is-external=true" title="class or interface in java.util">ArrayList</a>&lt;<a href="../../randoop/condition/GuardThrowsPair.html" title="class in randoop.condition">GuardThrowsPair</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#getThrowsConditions-java.util.List-">getThrowsConditions</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification">ThrowsCondition</a>&gt;&nbsp;throwsConditions)</code>
<div class="block">Construct the list of <a href="../../randoop/condition/GuardThrowsPair.html" title="class in randoop.condition"><code>GuardThrowsPair</code></a> objects, one for each <a href="../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a> in
 <code>throwsConditions</code>.</div>
</td>
</tr>
<tr id="i16" class="altColor">
<td class="colFirst"><code>private static <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationTranslator.html#renamedPackage-java.lang.Package-">renamedPackage</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Package.html?is-external=true" title="class or interface in java.lang">Package</a>&nbsp;aPackage)</code>
<div class="block">Gets the name of the package.</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods.inherited.from.class.java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></h3>
<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#clone--" title="class or interface in java.lang">clone</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#equals-java.lang.Object-" title="class or interface in java.lang">equals</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#finalize--" title="class or interface in java.lang">finalize</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#getClass--" title="class or interface in java.lang">getClass</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#hashCode--" title="class or interface in java.lang">hashCode</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notify--" title="class or interface in java.lang">notify</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notifyAll--" title="class or interface in java.lang">notifyAll</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#toString--" title="class or interface in java.lang">toString</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait--" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-int-" title="class or interface in java.lang">wait</a></code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="DUMMY_VARIABLE_BASE_NAME">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>DUMMY_VARIABLE_BASE_NAME</h4>
<pre>private static final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a> DUMMY_VARIABLE_BASE_NAME</pre>
<div class="block">The base name of dummy variables used by <a href="../../randoop/contract/ObjectContract.html" title="class in randoop.contract"><code>ObjectContract</code></a>.</div>
<dl>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><a href="../../constant-values.html#randoop.condition.SpecificationTranslator.DUMMY_VARIABLE_BASE_NAME">Constant Field Values</a></dd>
</dl>
</li>
</ul>
<a name="prestateExpressionSignature">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>prestateExpressionSignature</h4>
<pre>private&nbsp;<a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a> prestateExpressionSignature</pre>
<div class="block">The <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection"><code>RawSignature</code></a> for a prestate (guard) expression method.</div>
</li>
</ul>
<a name="prestateExpressionDeclaration">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>prestateExpressionDeclaration</h4>
<pre>private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a> prestateExpressionDeclaration</pre>
<div class="block">The parameter part of a method declaration string, with parentheses, for a prestate (guard)
 expression method.</div>
</li>
</ul>
<a name="poststateExpressionSignature">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>poststateExpressionSignature</h4>
<pre>private&nbsp;<a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a> poststateExpressionSignature</pre>
<div class="block">The <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection"><code>RawSignature</code></a> for a poststate (property) expression method.</div>
</li>
</ul>
<a name="poststateExpressionDeclarations">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>poststateExpressionDeclarations</h4>
<pre>private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a> poststateExpressionDeclarations</pre>
<div class="block">The parameter declaration string, with parentheses, for a poststate (property) expression
 method.</div>
</li>
</ul>
<a name="replacementMap">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>replacementMap</h4>
<pre>private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt; replacementMap</pre>
<div class="block">The map of expression identifiers to dummy variables.</div>
</li>
</ul>
<a name="compiler">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>compiler</h4>
<pre>private final&nbsp;<a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a> compiler</pre>
<div class="block">The <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile"><code>SequenceCompiler</code></a> for compiling expression methods.</div>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="SpecificationTranslator-randoop.reflection.RawSignature-java.lang.String-randoop.reflection.RawSignature-java.lang.String-java.util.Map-randoop.compile.SequenceCompiler-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>SpecificationTranslator</h4>
<pre>private&nbsp;SpecificationTranslator(<a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a>&nbsp;prestateExpressionSignature,
                                <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;prestateExpressionDeclaration,
                                <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a>&nbsp;poststateExpressionSignature,
                                <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;poststateExpressionDeclaration,
                                <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;&nbsp;replacementMap,
                                <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a>&nbsp;compiler)</pre>
<div class="block">Creates a <a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><code>SpecificationTranslator</code></a> object in the given package with the signature
 strings and variable replacementMap.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>prestateExpressionSignature</code> - the <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection"><code>RawSignature</code></a> for a prestate expression method</dd>
<dd><code>prestateExpressionDeclaration</code> - the parameter declaration string, with parentheses, for a
     prestate expression method</dd>
<dd><code>poststateExpressionSignature</code> - the <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection"><code>RawSignature</code></a> for a poststate expression method</dd>
<dd><code>poststateExpressionDeclaration</code> - the parameter declaration string, with parentheses, for a
     poststate expression method</dd>
<dd><code>replacementMap</code> - the map of expression identifiers to dummy variables</dd>
<dd><code>compiler</code> - the <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile"><code>SequenceCompiler</code></a> for creating expression methods</dd>
</dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="createTranslator-java.lang.reflect.AccessibleObject-randoop.condition.specification.OperationSpecification-randoop.compile.SequenceCompiler-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createTranslator</h4>
<pre>static&nbsp;<a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition">SpecificationTranslator</a>&nbsp;createTranslator(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;executable,
                                                <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&nbsp;specification,
                                                <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a>&nbsp;compiler)</pre>
<div class="block">Creates a <a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><code>SpecificationTranslator</code></a> object to translate the <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> of <code>executable</code>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>executable</code> - the <code>java.lang.reflect.AccessibleObject</code> for the operation with <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> to translate</dd>
<dd><code>specification</code> - the specification to be translated</dd>
<dd><code>compiler</code> - the sequence compiler to use to create expression methods</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the translator object to convert the specifications for <code>executable</code></dd>
</dl>
</li>
</ul>
<a name="getExpressionSignature-java.lang.reflect.AccessibleObject-boolean-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getExpressionSignature</h4>
<pre>private static&nbsp;<a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a>&nbsp;getExpressionSignature(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;executable,
                                                   boolean&nbsp;postState)</pre>
<div class="block">Create the <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection"><code>RawSignature</code></a> for the expression method for evaluating an expression for the
 given method or constructor.

 <p>The parameter types of the RawSignature are the declaring class as the receiver type,
 followed by the parameter types of <code>executable</code>, followed by the return type if <code>postState</code> is true and <code>executable</code> is not a void method.

 <p>Note: The declaring class of the expression method is actually determined by <a href="../../randoop/condition/ExecutableBooleanExpression.html#createMethod-randoop.reflection.RawSignature-java.lang.String-java.lang.String-randoop.compile.SequenceCompiler-"><code>ExecutableBooleanExpression.createMethod(RawSignature, String, String, SequenceCompiler)</code></a></div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>executable</code> - the method or constructor to which the expression belongs</dd>
<dd><code>postState</code> - if true, include a variable for the return value in the signature</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the <a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection"><code>RawSignature</code></a> for a expression method of <code>executable</code></dd>
</dl>
</li>
</ul>
<a name="getDeclaringClass-java.lang.reflect.AccessibleObject-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getDeclaringClass</h4>
<pre>private static&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;getDeclaringClass(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;executable)</pre>
</li>
</ul>
<a name="getParameterTypes-java.lang.reflect.AccessibleObject-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getParameterTypes</h4>
<pre>private static&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;[]&nbsp;getParameterTypes(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;executable)</pre>
</li>
</ul>
<a name="renamedPackage-java.lang.Package-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>renamedPackage</h4>
<pre>private static&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;renamedPackage(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Package.html?is-external=true" title="class or interface in java.lang">Package</a>&nbsp;aPackage)</pre>
<div class="block">Gets the name of the package. If the package name begins with <code>"java."</code>, prefixes it by
 <code>"randoop."</code>, since user classes cannot be added to the <code>java</code> package.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>aPackage</code> - the package to get the name of, may be null</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the name of the package, updated to start with "randoop." if the original begins with
     "java."; null if <code>aPackage</code> is null</dd>
</dl>
</li>
</ul>
<a name="createReplacementMap-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createReplacementMap</h4>
<pre>private static&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;&nbsp;createReplacementMap(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;&nbsp;parameterNames)</pre>
<div class="block">Creates the replacement map from the given parameter names to numbered dummy variable names as
 used in <a href="../../randoop/contract/ObjectContract.html" title="class in randoop.contract"><code>ObjectContract</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>parameterNames</code> - the parameter names of the expression methods</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the map from the parameter names to dummy variables</dd>
</dl>
</li>
</ul>
<a name="createExecutableSpecification-java.lang.reflect.AccessibleObject-randoop.condition.specification.OperationSpecification-randoop.compile.SequenceCompiler-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createExecutableSpecification</h4>
<pre>public static&nbsp;<a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition">ExecutableSpecification</a>&nbsp;createExecutableSpecification(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;executable,
                                                                    <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&nbsp;specification,
                                                                    <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a>&nbsp;compiler)</pre>
<div class="block">Create the <a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><code>ExecutableSpecification</code></a> object for the given <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>
 using this <a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><code>SpecificationTranslator</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>executable</code> - the <code>java.lang.reflect.AccessibleObject</code> for the operation to translate</dd>
<dd><code>specification</code> - the specification to translate</dd>
<dd><code>compiler</code> - the sequence compiler to use to create expression methods</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the <a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><code>ExecutableSpecification</code></a> for the given specification</dd>
</dl>
</li>
</ul>
<a name="getGuardExpressions-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getGuardExpressions</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition">ExecutableBooleanExpression</a>&gt;&nbsp;getGuardExpressions(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification">Precondition</a>&gt;&nbsp;preconditions)</pre>
<div class="block">Construct the list of <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a> objects, one for each <a href="../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>preconditions</code> - the list of <a href="../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a> objects that will be converted to <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a> objects obtained by converting each
     <a href="../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a></dd>
</dl>
</li>
</ul>
<a name="getReturnConditions-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getReturnConditions</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/ArrayList.html?is-external=true" title="class or interface in java.util">ArrayList</a>&lt;<a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition">GuardPropertyPair</a>&gt;&nbsp;getReturnConditions(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification">Postcondition</a>&gt;&nbsp;postconditions)</pre>
<div class="block">Construct the list of <a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition"><code>GuardPropertyPair</code></a> objects, one for each <a href="../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a> in
 <code>postconditions</code>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>postconditions</code> - the list of <a href="../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a> that will be converted to <a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition"><code>GuardPropertyPair</code></a> objects</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of <a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition"><code>GuardPropertyPair</code></a> objects obtained by converting each <a href="../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a></dd>
</dl>
</li>
</ul>
<a name="getThrowsConditions-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getThrowsConditions</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/ArrayList.html?is-external=true" title="class or interface in java.util">ArrayList</a>&lt;<a href="../../randoop/condition/GuardThrowsPair.html" title="class in randoop.condition">GuardThrowsPair</a>&gt;&nbsp;getThrowsConditions(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification">ThrowsCondition</a>&gt;&nbsp;throwsConditions)</pre>
<div class="block">Construct the list of <a href="../../randoop/condition/GuardThrowsPair.html" title="class in randoop.condition"><code>GuardThrowsPair</code></a> objects, one for each <a href="../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a> in
 <code>throwsConditions</code>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>throwsConditions</code> - the list of <a href="../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a> that will be converted to <a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition"><code>GuardPropertyPair</code></a> objects</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of <a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition"><code>GuardPropertyPair</code></a> objects obtained by converting each <a href="../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a></dd>
</dl>
</li>
</ul>
<a name="create-randoop.condition.specification.Guard-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>create</h4>
<pre>private&nbsp;<a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition">ExecutableBooleanExpression</a>&nbsp;create(<a href="../../randoop/condition/specification/Guard.html" title="class in randoop.condition.specification">Guard</a>&nbsp;expression)</pre>
<div class="block">Creates a <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a> object for the given <a href="../../randoop/condition/specification/AbstractBooleanExpression.html" title="class in randoop.condition.specification"><code>AbstractBooleanExpression</code></a> using the prestate expression
 signature of this <a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><code>SpecificationTranslator</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>expression</code> - the <a href="../../randoop/condition/specification/AbstractBooleanExpression.html" title="class in randoop.condition.specification"><code>AbstractBooleanExpression</code></a> to be
     converted</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a> object for <code>expression</code></dd>
</dl>
</li>
</ul>
<a name="create-randoop.condition.specification.Property-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>create</h4>
<pre>public&nbsp;<a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition">ExecutableBooleanExpression</a>&nbsp;create(<a href="../../randoop/condition/specification/Property.html" title="class in randoop.condition.specification">Property</a>&nbsp;expression)</pre>
<div class="block">Creates a <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a> object for the given <a href="../../randoop/condition/specification/AbstractBooleanExpression.html" title="class in randoop.condition.specification"><code>AbstractBooleanExpression</code></a> using the poststate expression
 signature of this <a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><code>SpecificationTranslator</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>expression</code> - the <a href="../../randoop/condition/specification/AbstractBooleanExpression.html" title="class in randoop.condition.specification"><code>AbstractBooleanExpression</code></a> to be
     converted</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a> object for <code>expression</code></dd>
</dl>
</li>
</ul>
<a name="getPrestateExpressionDeclaration--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getPrestateExpressionDeclaration</h4>
<pre><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;getPrestateExpressionDeclaration()</pre>
<div class="block">Return the prestate expression method parameter declaration string. Includes parentheses.

 <p>Only used for testing.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the prestate expression method parameter declaration string</dd>
</dl>
</li>
</ul>
<a name="getPoststateExpressionDeclarations--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getPoststateExpressionDeclarations</h4>
<pre><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;getPoststateExpressionDeclarations()</pre>
<div class="block">Return the poststate expression method parameter declaration string. Includes parentheses.

 <p>Only used for testing.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the poststate expression method parameter declaration string</dd>
</dl>
</li>
</ul>
<a name="getPoststateExpressionSignature--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getPoststateExpressionSignature</h4>
<pre><a href="../../randoop/reflection/RawSignature.html" title="class in randoop.reflection">RawSignature</a>&nbsp;getPoststateExpressionSignature()</pre>
<div class="block">Returns the poststate expression method signature from this object. This signature includes the
 parameters of the prestate expression signature, plus the return type.

 <p>Only used for testing.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the poststate expression method signature for this object</dd>
</dl>
</li>
</ul>
<a name="getCompiler--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getCompiler</h4>
<pre><a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a>&nbsp;getCompiler()</pre>
<div class="block">Returns the compiler from this object.

 <p>Only used for testing. ||||||| merged common ancestors

 <p>Only used for testing.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the compiler for this object</dd>
</dl>
</li>
</ul>
<a name="getReplacementMap--">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>getReplacementMap</h4>
<pre><a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;&nbsp;getReplacementMap()</pre>
<div class="block">Returns the replacement map for the identifiers in the expression to the dummy variables
 expected in contract assertions</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the replacement map for the identifiers in the expression</dd>
</dl>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/condition/ThrowsClause.html" title="class in randoop.condition"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/condition/SpecificationTranslator.html" target="_top">Frames</a></li>
<li><a href="SpecificationTranslator.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
